A Technique for Generating Graphical Abstractions of Program Data Structures
نویسندگان
چکیده
Representing abstract data structures in a real programming language is a key step of algorithm implementation and often requires programmers to introduce language-dependent details irrelevant for both a high-level analysis of the code and algorithm comprehension. In this paper we present a logic-based technique for recovering from the loss of abstraction related to the implementation process in order to create intuitive high-level pictorial representations of data structures, useful for program debugging, research and educational purposes.
منابع مشابه
APG: An Efficient Software Program for Amp-Pl Thermobarometry Based on Graphical Method
Geothermobarometry equations are based on thermodynamic principles and appear in single or multi-variant functions. The number of variants for a specific composition or reaction usually is reduced into 2 involving temperature (T) and pressure (P). Since most of planned equations have two passive or variant P and T, using these equations should be with special care. It is very effective to use g...
متن کاملExploiting Static Abstractions of Data Structures for Debugging
There is a variety of inferred program behavior models. They might miss some features because they are approximating not the program specification but the implementation. In this paper, we present a discrete model to avoid this problem by generating data for approximating object relations arising from the program execution. The data is a collection of object relations which can be used for debu...
متن کاملFORMATION OF GLOBULAR STRUCTURES IN ALUMINUM A356 ALLOY BY NARROWMELT STREAM (NMS) TECHNIQUE
Abstract: structures in alloys. This method is based on pouring the melt through a small sized nozzle into a mould located at acertain height under the crucible. This simple method generates globular structures without using equipments such asimpellers, electromagnetic stirrers, ultrasonic probes and cooling slopes. Therefore it is cost effective. In the presentstudy, the effect of casting size...
متن کاملObjectView: A Software Design Architecture for Breakpoint-Based Program Visualization
Algorithm visualization (AV) systems, which provide graphic depictions of the dynamic state of an executing algorithm, can prove invaluable to anyone interested in gaining insight into the dynamic behavior of computer programs. Although past researchers have taken a multitude of different approaches to designing and implementing such systems (cf. Myers 1984, Brown 1988, Stasko 1990, Naps & Hund...
متن کاملInstrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs
A number of questions regarding programs involving heap-based data structures can be phrased as questions about numeric properties of those structures. A data structure traversal might terminate if the length of some path is eventually zero or a function to remove n elements from a collection may only be safe if the collection has size at least n. In this thesis, we develop proof methods for re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999